ar X iv : 0 80 2 . 15 86 v 1 [ cs . S E ] 1 2 Fe b 20 08 Program Promises

نویسنده

  • Simen Hagen
چکیده

The framework of promise theory offers an alternative way of understanding programming models, especially in distributed systems. We show that promise theory can express some familiar constructs and resolve some problems in program interface design, using fewer and simpler concepts than the Unified Modelling Language (UML).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : 0 80 2 . 30 10 v 1 [ m at h . Q A ] 2 1 Fe b 20 08 THE OPERAD LIE IS FREE

We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators, finding a recursive formula for its coefficients, and showing that the asymptotic density of the operadic generators is 1/e.

متن کامل

ar X iv : 0 80 2 . 25 80 v 1 [ m at h . G T ] 1 9 Fe b 20 08 3 - Dimensional Schlaefli Formula and Its Generalization

Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.

متن کامل

ar X iv : 0 80 2 . 42 23 v 1 [ m at h . Q A ] 2 8 Fe b 20 08 Local analytic classification of q - difference equations

3 Analytic classification of admissible q-difference modules 10 3.1 Generalities on q-difference modules . . . . . . . . . . . . . . . . . . . . . . . 11 3.2 Simple objects in the category of admissible q-difference modules . . . . . . . 11 3.3 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.4 Analytic vs formal classification . . . . . . . . . . . . ...

متن کامل

ar X iv : 0 80 2 . 38 39 v 1 [ m at h . G R ] 2 6 Fe b 20 08 Quadratic equations over free groups are NP - complete

We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008